University Link - PDFSEARCH.IO - Document Search Engine

University Link
Results: 1271

#	Item
781	Model Checking by Random Walk P@trik Haslum Department of Computer Science, Linkoping University [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 04:30:03 Stochastic processes Markov models Eulerian path Random walk Markov chain SL Randomized algorithm Degree Loop-erased random walk Theoretical computer science Statistics Graph theory
782	A Heuristic for Near-Optimal Troubleshooting Using AO* H˚akan Warnquist∗ Dept. of Computer and Information Science Link¨oping University SE[removed]Link¨oping, Sweden [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-19 11:49:13 Applied mathematics Science Search algorithms Operations research Heuristic function Troubleshooting Admissible heuristic Heuristic Greedy algorithm Mathematics Heuristics Problem solving
783	Models for Prediction P@trik Haslum Department of Computer Science, Linkoping University [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 04:52:37 Mathematical sciences Markov chain Markov decision process Continuous-time Markov process Discretization Markov property Dynamic programming Hidden Markov model Kalman filter Statistics Markov processes Markov models
784	Heuristic Planning with Time and Resources Patrik Haslum1 and Hector Gener2 1 2 Department of Computer Science, Linkoping University, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 04:51:24 Applied mathematics Science Artificial intelligence Operations research Heuristic function Job shop scheduling Automated planning and scheduling Admissible heuristic Algorithm Mathematics Heuristics Problem solving
785	Efficient Security Mechanisms for Routing Protocols Yih-Chun Hu Carnegie Mellon University [removed] Adrian Perrig Add to Reading List Source URL: www.isoc.org Language: English - Date: 2003-04-07 16:01:07 Computing Routing algorithms Hashing Cryptography Cryptographic hash functions Link-state routing protocol Destination-Sequenced Distance Vector routing Hash chain Distance-vector routing protocol Routing protocols Network architecture Routing
786	1 Probabilistic Roadmap Based Path Planning for an Autonomous Unmanned Helicopter Per Olof Pettersson and Patrick Doherty Link¨oping University Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:45:11 Theoretical computer science Probabilistic roadmap Unmanned aerial vehicle Physics Holonomic Flight controller Mathematics Robot control Motion planning
787	Integrating a Discourse Model with a Learning Case-Based Reasoning System Karolina Eliasson Department of Computer and Information Science Link¨oping University Link¨oping Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-31 08:20:33 Fiction Applied linguistics Rhetoric Critical thinking Discourse analysis Dialogue Open discourse Case-based reasoning Discourse Linguistics Sociolinguistics Science
788	Approximate Databases and Query Techniques for Agents with Heterogeneous Perceptual Capabilities Patrick Doherty Department of Computer Science University of Link¨oping Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:35:11 Database theory Relational model Mathematical structures Relational database management systems Theoretical computer science Relational database Finitary relation Tuple Structure Mathematics Algebra Data management
789	Chronicle Recognition in the WITAS UAV Project A Preliminary Report Fredrik Heintz Dept. of Computer and Information Science Link¨oping university, Sweden E-mail: [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:32:40 Ambient intelligence Chronicle Military terminology Signals intelligence Unmanned aerial vehicle
790	Coordination of actions in an autonomous robotic system Erik Sandewall1 Department of Computer and Information Science Link¨ oping University Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-31 08:04:55 Mathematics Logic programming Fluent Group action Action Physics Logic in computer science Theoretical computer science

UPDATE